#include <lib.h>
#define dfs_start _dfs_start
#include <dfs.h>
/*
 * Implementing of the library function for
 * the _dfs_start system call
 */

PUBLIC int dfs_start()
{
	int reply;
	message m;
	/* Making the call */
	reply = _syscall(DFS,DFS_START,&m);

	/* Return results */
	return reply;
}
